int foo() { return 10;}
